[[Morphism of field extensions]]
# Category of field extensions

The **category of extensions of $K$** $\cat{Fld}_K := K \downarrow \cat{Fld}$ is a [[category]] where
an object is a [[field extension|extension field]] of $K$
and a morphism is a [[morphism of field extensions]]. #m/def/field 

#
---
#state/tidy | #lang/en | #SemBr